projects / xen.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c7cf603) | patch
tools/oxenstored: Style fixes to Domain
authorAndrew Cooper <andrew.cooper3@citrix.com>
Wed, 30 Nov 2022 14:56:43 +0000 (14:56 +0000)
committerAndrew Cooper <andrew.cooper3@citrix.com>
Tue, 20 Dec 2022 13:13:40 +0000 (13:13 +0000)
commit0929960173bc76b8d90df73c8ee665747c233e18
tree6c834ca8376a18930d47b6305c491f21ad437614tree | snapshot
parentc7cf603836e40de1b4a6ca7d1d52736eb4a10327commit | diff
tools/oxenstored: Style fixes to Domain

This file has some style problems so severe that they interfere with the
readability of the subsequent bugfix patches.

Fix these issues ahead of time, to make the subsequent changes more readable.

No functional change.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Reviewed-by: Edwin Török <edvin.torok@citrix.com>
Acked-by: Christian Lindig <christian.lindig@citrix.com>
(cherry picked from commit b45bfaf359e4821b1bf98a4fcd194d7fd176f167)
tools/ocaml/xenstored/domain.ml diff | blob | history
Unnamed repository; edit this file 'description' to name the repository.